The Free On-line Dictionary of Computing (30 December 2018):

occam 2

    An extension of occam produced in 1987.  Occam 2
   adds floating-point, functions and a type system.

   ["occam 2 Reference Manual", INMOS, P-H 1988, ISBN
   0-13-629312-3].

   (1994-11-18)